Hails: Protecting Data Privacy in Untrusted Web Applications Daniel B. Giffin, Amit Levy, Deian Stefan David Terei, David Mazi`eres, John C. Mitchell Stanford Abstract

Source URL: www.cse.chalmers.se

THE FOOTNOTES FOR: UNDERSTANDING POWER THE INDISPENSABLE CHOMSKY Edited by Peter R. Mitchell and John Schoeffel.

Source URL: lukemuehlhauser.com

A Large-Scale Study of Mobile Web App Security Patrick Mutchler∗ , Adam Doup´e† , John Mitchell∗ , Chris Kruegel‡ and Giovanni Vigna‡ ∗ Stanford University {pcm2d, mitchell}@stanford.edu

Source URL: ieee-security.org

• Software
• Computing
• Smartphones
• User interface techniques
• ITunes
• Mobile operating systems
• Cross-platform software
• Mobile app
• Google Play
• App store
• Web application
• Android version history

Characterizing the Remote Control Behavior of Bots Elizabeth Stinson and John C. Mitchell Department of Computer Science, Stanford University, Stanford, CA 94305 {stinson, mitchell}@cs.stanford.edu Abstract. A botnet is

Source URL: inst.eecs.berkeley.edu

Towards a Formal Foundation of Web Security Devdatta Akhawe∗ , Adam Barth∗ , Peifung E. Lam† , John Mitchell† and Dawn Song∗ ∗ University of California, Berkeley {devdatta,abarth,dawnsong}@cs.berkeley.edu †

Source URL: webblaze.cs.berkeley.edu

A Domain-Specific Language for Computing on Encrypted Data Alex Bain, John Mitchell, Rahul Sharma, Deian Stefan and Joe Zimmerman Stanford University, Stanford, CA Abstract

Source URL: eprint.iacr.org

Computationally sound compositional logic for key exchange protocols ∗ Anupam Datta, Ante Derek, John C. Mitchell Dept. Computer Science, Stanford University {danupam, aderek, mitchell}@cs.stanford.edu Abstract

Source URL: www.cs.bris.ac.uk

A Type System for Object Initialization In the Java Bytecode Language∗ TM Stephen N. Freund John C. Mitchell

Source URL: dept.cs.williams.edu

Dropout Prediction in MOOCs using Learner Activity Features Sherif Halawa Daniel Greene John Mitchell

Source URL: lytics.stanford.edu